1

Timing analysis of the FlexRay communication protocol

Année:
2008
Langue:
english
Fichier:
PDF, 967 KB
english, 2008
12

Synthesis of systems specified as interacting VHDL processes

Année:
1996
Langue:
english
Fichier:
PDF, 1.73 MB
english, 1996
14

Formal verification of component-based designs

Année:
2007
Langue:
english
Fichier:
PDF, 825 KB
english, 2007
15

Fault-aware Communication Mapping for NoCs with Guaranteed Latency

Année:
2007
Langue:
english
Fichier:
PDF, 760 KB
english, 2007
21

Synthesizing Energy-Efficient Embedded Systems with LOPOCOS

Année:
2002
Langue:
english
Fichier:
PDF, 400 KB
english, 2002
22

Editorial

Année:
2002
Langue:
english
Fichier:
PDF, 32 KB
english, 2002
23

Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems

Année:
2004
Langue:
english
Fichier:
PDF, 425 KB
english, 2004
26

Process-Variation and Temperature Aware SoC Test Scheduling Technique

Année:
2013
Langue:
english
Fichier:
PDF, 831 KB
english, 2013